#ifndef __CORESTDIO_H__
#define __CORESTDIO_H__
#include <cstdint.h>
#include <stdarg.h>

typedef int (*printf_helper_t)(char c,uint32_t impl);
int __vprintf (printf_helper_t __helper,uint32_t impl,const char* str, va_list args);
int vsprintf(char *s ,const char* str, va_list args);;
int sprintf(char *s ,const char* str, ...);

#endif